Nuprl Definition : interface-val
11,40
postcript
pdf
interface-val(
es
;
X
;
e
) ==
X
(<loc(
e
), kind(
e
)>)((state when
e
),val(
e
))
latex
clarification:
interface-val(
es
;
X
;
e
)
==
X
locknd-deq()(<es-loc(
es
;
e
), es-kind(
es
;
e
)>)(es-state-when(
es
;
e
),es-val(
es
;
e
))
latex
Definitions
f
(
a
)
,
f
(
x
)
,
locknd-deq()
,
<
a
,
b
>
,
loc(
e
)
,
kind(
e
)
,
(state when
e
)
,
val(
e
)
FDL editor aliases
interface-val
origin